Советский философский словарь - исчисление предикатов
Связанные словари
Исчисление предикатов
исчисление предикатов
раздел математич. логики, совокупность логико-математич. исчислений, формализующих те разделы совр. логики, в к-рых отображаются и изучаются (в связи с рассмотрением субъектнопредикатной структуры предложений) правила оперирования с кванторами. См. Логика предикатов.
Рейтинг статьи:
Комментарии:
См. в других словарях
1.
— расширение исчисления высказываний путем формализации выводов, основывающихся на внутренней структуре высказываний. И. п. было построено Фреге и является существенным обогащением Аристотелевой и традиционной силлогистики. ...Философский энциклопедический словарь
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1742 | |
2 | 1418 | |
3 | 1218 | |
4 | 1149 | |
5 | 1138 | |
6 | 1101 | |
7 | 906 | |
8 | 835 | |
9 | 791 | |
10 | 759 | |
11 | 752 | |
12 | 733 | |
13 | 702 | |
14 | 701 | |
15 | 699 | |
16 | 683 | |
17 | 680 | |
18 | 656 | |
19 | 650 | |
20 | 631 |